Integrand size = 17, antiderivative size = 172 \[ \int \left (c+a^2 c x^2\right ) \arctan (a x)^3 \, dx=c x \arctan (a x)-\frac {c \left (1+a^2 x^2\right ) \arctan (a x)^2}{2 a}+\frac {2 i c \arctan (a x)^3}{3 a}+\frac {2}{3} c x \arctan (a x)^3+\frac {1}{3} c x \left (1+a^2 x^2\right ) \arctan (a x)^3+\frac {2 c \arctan (a x)^2 \log \left (\frac {2}{1+i a x}\right )}{a}-\frac {c \log \left (1+a^2 x^2\right )}{2 a}+\frac {2 i c \arctan (a x) \operatorname {PolyLog}\left (2,1-\frac {2}{1+i a x}\right )}{a}+\frac {c \operatorname {PolyLog}\left (3,1-\frac {2}{1+i a x}\right )}{a} \]
[Out]
Time = 0.14 (sec) , antiderivative size = 172, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.471, Rules used = {5000, 4930, 5040, 4964, 5004, 5114, 6745, 266} \[ \int \left (c+a^2 c x^2\right ) \arctan (a x)^3 \, dx=\frac {1}{3} c x \left (a^2 x^2+1\right ) \arctan (a x)^3-\frac {c \left (a^2 x^2+1\right ) \arctan (a x)^2}{2 a}-\frac {c \log \left (a^2 x^2+1\right )}{2 a}+\frac {2 i c \arctan (a x) \operatorname {PolyLog}\left (2,1-\frac {2}{i a x+1}\right )}{a}+\frac {2 i c \arctan (a x)^3}{3 a}+\frac {2}{3} c x \arctan (a x)^3+c x \arctan (a x)+\frac {2 c \arctan (a x)^2 \log \left (\frac {2}{1+i a x}\right )}{a}+\frac {c \operatorname {PolyLog}\left (3,1-\frac {2}{i a x+1}\right )}{a} \]
[In]
[Out]
Rule 266
Rule 4930
Rule 4964
Rule 5000
Rule 5004
Rule 5040
Rule 5114
Rule 6745
Rubi steps \begin{align*} \text {integral}& = -\frac {c \left (1+a^2 x^2\right ) \arctan (a x)^2}{2 a}+\frac {1}{3} c x \left (1+a^2 x^2\right ) \arctan (a x)^3+\frac {1}{3} (2 c) \int \arctan (a x)^3 \, dx+c \int \arctan (a x) \, dx \\ & = c x \arctan (a x)-\frac {c \left (1+a^2 x^2\right ) \arctan (a x)^2}{2 a}+\frac {2}{3} c x \arctan (a x)^3+\frac {1}{3} c x \left (1+a^2 x^2\right ) \arctan (a x)^3-(a c) \int \frac {x}{1+a^2 x^2} \, dx-(2 a c) \int \frac {x \arctan (a x)^2}{1+a^2 x^2} \, dx \\ & = c x \arctan (a x)-\frac {c \left (1+a^2 x^2\right ) \arctan (a x)^2}{2 a}+\frac {2 i c \arctan (a x)^3}{3 a}+\frac {2}{3} c x \arctan (a x)^3+\frac {1}{3} c x \left (1+a^2 x^2\right ) \arctan (a x)^3-\frac {c \log \left (1+a^2 x^2\right )}{2 a}+(2 c) \int \frac {\arctan (a x)^2}{i-a x} \, dx \\ & = c x \arctan (a x)-\frac {c \left (1+a^2 x^2\right ) \arctan (a x)^2}{2 a}+\frac {2 i c \arctan (a x)^3}{3 a}+\frac {2}{3} c x \arctan (a x)^3+\frac {1}{3} c x \left (1+a^2 x^2\right ) \arctan (a x)^3+\frac {2 c \arctan (a x)^2 \log \left (\frac {2}{1+i a x}\right )}{a}-\frac {c \log \left (1+a^2 x^2\right )}{2 a}-(4 c) \int \frac {\arctan (a x) \log \left (\frac {2}{1+i a x}\right )}{1+a^2 x^2} \, dx \\ & = c x \arctan (a x)-\frac {c \left (1+a^2 x^2\right ) \arctan (a x)^2}{2 a}+\frac {2 i c \arctan (a x)^3}{3 a}+\frac {2}{3} c x \arctan (a x)^3+\frac {1}{3} c x \left (1+a^2 x^2\right ) \arctan (a x)^3+\frac {2 c \arctan (a x)^2 \log \left (\frac {2}{1+i a x}\right )}{a}-\frac {c \log \left (1+a^2 x^2\right )}{2 a}+\frac {2 i c \arctan (a x) \operatorname {PolyLog}\left (2,1-\frac {2}{1+i a x}\right )}{a}-(2 i c) \int \frac {\operatorname {PolyLog}\left (2,1-\frac {2}{1+i a x}\right )}{1+a^2 x^2} \, dx \\ & = c x \arctan (a x)-\frac {c \left (1+a^2 x^2\right ) \arctan (a x)^2}{2 a}+\frac {2 i c \arctan (a x)^3}{3 a}+\frac {2}{3} c x \arctan (a x)^3+\frac {1}{3} c x \left (1+a^2 x^2\right ) \arctan (a x)^3+\frac {2 c \arctan (a x)^2 \log \left (\frac {2}{1+i a x}\right )}{a}-\frac {c \log \left (1+a^2 x^2\right )}{2 a}+\frac {2 i c \arctan (a x) \operatorname {PolyLog}\left (2,1-\frac {2}{1+i a x}\right )}{a}+\frac {c \operatorname {PolyLog}\left (3,1-\frac {2}{1+i a x}\right )}{a} \\ \end{align*}
Time = 0.06 (sec) , antiderivative size = 144, normalized size of antiderivative = 0.84 \[ \int \left (c+a^2 c x^2\right ) \arctan (a x)^3 \, dx=\frac {c \left (6 a x \arctan (a x)-3 \arctan (a x)^2-3 a^2 x^2 \arctan (a x)^2-4 i \arctan (a x)^3+6 a x \arctan (a x)^3+2 a^3 x^3 \arctan (a x)^3+12 \arctan (a x)^2 \log \left (1+e^{2 i \arctan (a x)}\right )-3 \log \left (1+a^2 x^2\right )-12 i \arctan (a x) \operatorname {PolyLog}\left (2,-e^{2 i \arctan (a x)}\right )+6 \operatorname {PolyLog}\left (3,-e^{2 i \arctan (a x)}\right )\right )}{6 a} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 4.
Time = 12.82 (sec) , antiderivative size = 860, normalized size of antiderivative = 5.00
method | result | size |
parts | \(\frac {c \arctan \left (a x \right )^{3} a^{2} x^{3}}{3}+c x \arctan \left (a x \right )^{3}-c \left (\frac {a \arctan \left (a x \right )^{2} x^{2}}{2}+\frac {\arctan \left (a x \right )^{2} \ln \left (a^{2} x^{2}+1\right )}{a}-\frac {2 \arctan \left (a x \right )^{2} \ln \left (\frac {i a x +1}{\sqrt {a^{2} x^{2}+1}}\right )-2 i \arctan \left (a x \right ) \operatorname {polylog}\left (2, -\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )+\operatorname {polylog}\left (3, -\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )-\frac {i \arctan \left (a x \right ) \left (-3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )^{2} \operatorname {csgn}\left (\frac {i}{\left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )+3 \arctan \left (a x \right ) \pi \,\operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right ) \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right ) \operatorname {csgn}\left (\frac {i}{\left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )+3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )^{3}-3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )^{2} \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )+3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )^{3}-6 \arctan \left (a x \right ) \pi \,\operatorname {csgn}\left (\frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right ) \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )^{2}+3 \arctan \left (a x \right ) \pi {\operatorname {csgn}\left (\frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right )}^{2} \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )-3 \arctan \left (a x \right ) \pi {\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}\right )}^{3}+6 \arctan \left (a x \right ) \pi {\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}\right )}^{2} \operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )\right )-3 \arctan \left (a x \right ) \pi \,\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}\right ) {\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )\right )}^{2}+4 \arctan \left (a x \right )^{2}+12 i \arctan \left (a x \right ) \ln \left (2\right )-3 i \arctan \left (a x \right )+6+6 i a x \right )}{6}+\ln \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )}{a}\right )\) | \(860\) |
derivativedivides | \(\frac {\frac {c \arctan \left (a x \right )^{3} a^{3} x^{3}}{3}+c \arctan \left (a x \right )^{3} a x -c \left (\frac {x^{2} \arctan \left (a x \right )^{2} a^{2}}{2}+\arctan \left (a x \right )^{2} \ln \left (a^{2} x^{2}+1\right )-2 \arctan \left (a x \right )^{2} \ln \left (\frac {i a x +1}{\sqrt {a^{2} x^{2}+1}}\right )+2 i \arctan \left (a x \right ) \operatorname {polylog}\left (2, -\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )-\operatorname {polylog}\left (3, -\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )+\frac {i \arctan \left (a x \right ) \left (-3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )^{2} \operatorname {csgn}\left (\frac {i}{\left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )+3 \arctan \left (a x \right ) \pi \,\operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right ) \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right ) \operatorname {csgn}\left (\frac {i}{\left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )+3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )^{3}-3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )^{2} \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )+3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )^{3}-6 \arctan \left (a x \right ) \pi \,\operatorname {csgn}\left (\frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right ) \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )^{2}+3 \arctan \left (a x \right ) \pi {\operatorname {csgn}\left (\frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right )}^{2} \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )-3 \arctan \left (a x \right ) \pi {\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}\right )}^{3}+6 \arctan \left (a x \right ) \pi {\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}\right )}^{2} \operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )\right )-3 \arctan \left (a x \right ) \pi \,\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}\right ) {\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )\right )}^{2}+4 \arctan \left (a x \right )^{2}+12 i \arctan \left (a x \right ) \ln \left (2\right )-3 i \arctan \left (a x \right )+6+6 i a x \right )}{6}-\ln \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )\right )}{a}\) | \(862\) |
default | \(\frac {\frac {c \arctan \left (a x \right )^{3} a^{3} x^{3}}{3}+c \arctan \left (a x \right )^{3} a x -c \left (\frac {x^{2} \arctan \left (a x \right )^{2} a^{2}}{2}+\arctan \left (a x \right )^{2} \ln \left (a^{2} x^{2}+1\right )-2 \arctan \left (a x \right )^{2} \ln \left (\frac {i a x +1}{\sqrt {a^{2} x^{2}+1}}\right )+2 i \arctan \left (a x \right ) \operatorname {polylog}\left (2, -\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )-\operatorname {polylog}\left (3, -\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )+\frac {i \arctan \left (a x \right ) \left (-3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )^{2} \operatorname {csgn}\left (\frac {i}{\left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )+3 \arctan \left (a x \right ) \pi \,\operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right ) \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right ) \operatorname {csgn}\left (\frac {i}{\left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )+3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )^{3}-3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{\left (a^{2} x^{2}+1\right ) \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}}\right )^{2} \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )+3 \arctan \left (a x \right ) \pi \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )^{3}-6 \arctan \left (a x \right ) \pi \,\operatorname {csgn}\left (\frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right ) \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )^{2}+3 \arctan \left (a x \right ) \pi {\operatorname {csgn}\left (\frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right )}^{2} \operatorname {csgn}\left (\frac {i \left (i a x +1\right )^{2}}{a^{2} x^{2}+1}\right )-3 \arctan \left (a x \right ) \pi {\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}\right )}^{3}+6 \arctan \left (a x \right ) \pi {\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}\right )}^{2} \operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )\right )-3 \arctan \left (a x \right ) \pi \,\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )^{2}\right ) {\operatorname {csgn}\left (i \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )\right )}^{2}+4 \arctan \left (a x \right )^{2}+12 i \arctan \left (a x \right ) \ln \left (2\right )-3 i \arctan \left (a x \right )+6+6 i a x \right )}{6}-\ln \left (\frac {\left (i a x +1\right )^{2}}{a^{2} x^{2}+1}+1\right )\right )}{a}\) | \(862\) |
[In]
[Out]
\[ \int \left (c+a^2 c x^2\right ) \arctan (a x)^3 \, dx=\int { {\left (a^{2} c x^{2} + c\right )} \arctan \left (a x\right )^{3} \,d x } \]
[In]
[Out]
\[ \int \left (c+a^2 c x^2\right ) \arctan (a x)^3 \, dx=c \left (\int a^{2} x^{2} \operatorname {atan}^{3}{\left (a x \right )}\, dx + \int \operatorname {atan}^{3}{\left (a x \right )}\, dx\right ) \]
[In]
[Out]
\[ \int \left (c+a^2 c x^2\right ) \arctan (a x)^3 \, dx=\int { {\left (a^{2} c x^{2} + c\right )} \arctan \left (a x\right )^{3} \,d x } \]
[In]
[Out]
\[ \int \left (c+a^2 c x^2\right ) \arctan (a x)^3 \, dx=\int { {\left (a^{2} c x^{2} + c\right )} \arctan \left (a x\right )^{3} \,d x } \]
[In]
[Out]
Timed out. \[ \int \left (c+a^2 c x^2\right ) \arctan (a x)^3 \, dx=\int {\mathrm {atan}\left (a\,x\right )}^3\,\left (c\,a^2\,x^2+c\right ) \,d x \]
[In]
[Out]